TAGs: rewriting equations